Polynomial Bounds for Rings of Invariants
نویسنده
چکیده
Hilbert proved that invariant rings are finitely generated for linearly reductive groups acting rationally on a finite dimensional vector space. Popov gave an explicit upper bound for the smallest integer d such that the invariants of degree ≤ d generate the invariant ring. This bound has factorial growth. In this paper we will give a bound which depends only polynomially on the input data.
منابع مشابه
New Algorithm For Computing Secondary Invariants of Invariant Rings of Monomial Groups
In this paper, a new algorithm for computing secondary invariants of invariant rings of monomial groups is presented. The main idea is to compute simultaneously a truncated SAGBI-G basis and the standard invariants of the ideal generated by the set of primary invariants. The advantage of the presented algorithm lies in the fact that it is well-suited to complexity analysis and very easy to i...
متن کاملReidemeister Torsion, the Thurston Norm and Harvey’s Invariants
Recently representations over non–commutative rings were used by Cochran, Harvey, Friedl–Kim and Turaev to define Alexander polynomials whose degrees give lower bounds on the Thurston norm. We first show how Reidemeister torsion relates to these invariants. We give lower bounds on the Thurston norm in terms of the Reidemeister torsion which contain all the above lower bounds and give an elegant...
متن کاملThe Thurston Norm and Harvey
Cochran introduced Alexander polynomials over non–commutative Laurent polynomial rings. Their degrees were studied by Cochran, Harvey and Turaev as they give lower bounds on the Thurston norm. We first extend Cochran’s definition to twisted Alexander polynomials. We then show how Reidemeister torsion relates to these invariants and we give lower bounds on the Thurston norm in terms of the Reide...
متن کاملPolynomial degree bounds for matrix semi-invariants
We study the left-right action of SL n × SL n on m-tuples of n × n matrices with entries in an infinite field K. We show that invariants of degree n 2 − n define the null cone. Consequently, invariants of degree ≤ n 6 generate the ring of invariants if char(K) = 0. We also prove that for m ≫ 0, invariants of degree at least n⌊ √ n + 1⌋ are required to define the null cone. We generalize our res...
متن کاملFailure of F-purity and F-regularity in Certain Rings of Invariants
Let Fq be a finite field of characteristic p, K a field containing it, and R = K[X1, . . . , Xn] a polynomial ring in n variables. The general linear group GLn(Fq) has natural action on R by degree preserving ring automorphisms. L. E. Dickson showed that the subring of elements which are fixed by this group action is a polynomial ring, [Di], though for an arbitrary subgroupG of GLn(Fq), the str...
متن کامل